mean ergodic semi-group

平均遍历半群